Pattern calculus - PDFSEARCH.IO - Document Search Engine

Pattern calculus
Results: 51

#	Item
31	ppdp39-sulzmann-errata.dvi Add to Reading List Source URL: www.home.hs-karlsruhe.de Language: English - Date: 2013-08-07 14:32:23 Functions and mappings Differential operators Automata theory Pattern matching Regular expression Partial derivative Function Derivative Mathematical analysis Mathematics Calculus
32	In Proc. IEEE International Conference on Computer Vision and Pattern Recognition (CVPR[removed]Large Displacement Optical Flow∗ Christoph Bregler2 Jitendra Malik1 Thomas Brox1 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-10-18 17:25:26 Optics Optical flow Maximally stable extremal regions Calculus of variations Fundamental matrix Motion estimation Segmentation Egomotion Scale-invariant feature transform Computer vision Vision Imaging
33	Higher-Order Pattern Complement and the Strict λ-Calculus ALBERTO MOMIGLIANO University of Leicester and FRANK PFENNING Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-12 07:48:30 Deduction Predicate logic Computability theory Lambda calculus Theoretical computer science Free variables and bound variables Entailment Unification Admissible rule Logic Mathematical logic Mathematics
34	CALIFORNIA STATE SCIENCE FAIR 2003 PROJECT SUMMARY Name(s) Alex D. Doo Add to Reading List Source URL: www.usc.edu Language: English - Date: 2003-05-10 02:03:08 Ernst Chladni Node Wave mechanics Violin Standing wave Wave Pattern Cymatics Waves Physics Calculus
35	MPACT OF COMPUTING IN SCIENCE AND Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2006-12-12 11:27:01 Bifurcation theory Reaction–diffusion system Ordinary differential equations Systems theory Bifurcation diagram Mathematical and theoretical biology Partial differential equation Pattern formation Differential equation Mathematical analysis Calculus Mathematics
36	Generic Queries Pattern Calculus bondi Future Applications Programming with Patterns Add to Reading List Source URL: bondi.it.uts.edu.au Language: English - Date: 2011-02-01 16:20:21 SIGPLAN Pattern calculus Polymorphism XPL Lambda calculus Software engineering Computing Computer programming
37	PDF Document Add to Reading List Source URL: fredrik.orderud.no Language: English - Date: 2011-05-24 11:08:55 Interference 3D computer graphics Patterns Speckle pattern Electronic speckle pattern interferometry Calculus Kalman filter Echocardiography Normal Optics Cardiac imaging Medical ultrasound
38	Caterwaul Reference Manual Spencer Tipping March 4, 2012 Contents 1 Add to Reading List Source URL: caterwauljs.org Language: English - Date: 2012-03-05 02:01:23 Functional programming Lambda calculus Subroutines Parse tree Syntax JavaScript syntax Anonymous function Binary tree Pattern matching Software engineering Computing Computer programming
39	1 A Theory of Antenna Electromagnetic Near Field—Part I Said M. Mikki and Yahia M. Antar Add to Reading List Source URL: ieeeaps.org Language: English - Date: 2013-01-23 18:08:20 Multivariable calculus Near and far field Antenna Multipole expansion Radiation pattern Vector field Vector spherical harmonics Helmholtz equation Field Mathematical analysis Calculus Vector calculus
40	1 A Theory of Antenna Electromagnetic Near Field—Part I Said M. Mikki and Yahia M. Antar Add to Reading List Source URL: www.ieeeaps.org Language: English - Date: 2013-01-23 18:08:20 Multivariable calculus Near and far field Antenna Multipole expansion Radiation pattern Vector field Vector spherical harmonics Helmholtz equation Field Mathematical analysis Calculus Vector calculus

UPDATE